61. Programming in CoffeeScript
پدیدآورنده : Mark Bates
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : JavaScript (Computer program language),Programming languages (Electronic computers),Scripting languages (Computer science)
رده :
QA76
.
73
.
C26
B38
2012
62. Programming language pragmatics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ; Computer science. ;
63. Programming language semantics: imperative and object-oriented Languages
پدیدآورنده : Kirkerud, Bjorn
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Programming Languages )Electronic Computers( - Semantics , Object-oriented programming )Computer science(
رده :
QA
76
.
7
.
K57
1997
64. Programming language semantics: imperative and object-oriented languages
پدیدآورنده : Kirkerud, Bjorn.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Semantics ، Programming languages )Electronic computers(,، Object-oriented programming )Computer science(
رده :
QA
76
.
7
.
K57
1997
65. #Programming language structures
پدیدآورنده : #Elliott I. Organick, Alexandra I. Forsythe, Robert P. Plummer
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Programming languages )Electronic computers( -- Semantics ،Programming languages )Electronic computers( -- Syntax ،Data structures )Computer science(
رده :
#
QA
،#.
O6
66. Programming languages
پدیدآورنده : / Allen B. Tucker
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Programming languages (Electronic computers ),System programming (Computer science)
رده :
QA76
.
7
.
T8
1986
67. Programming languages for parallel processing
پدیدآورنده : Skillicorn, David B
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel programming )Computer science( , Programming languages )Electronic computers(
رده :
QA
76
.
642
.
S62
1995
68. Programming languages for parallel processing
پدیدآورنده : Skillicorn, David B.
موضوع : ، Parallel programming )Computer science(,، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
69. Programming languages with applications to biology and security.
پدیدآورنده : \ Chiara Bodei , Gian-Luigi Ferrari, Corrado Priami (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers),Computer science,Computer networks,زبانهای برنامه‌نویسی کامپیوتر,کامپیوتر,شبکه‌های کامپیوتری,a03,a04,a05,a03,a04,a05
رده :
QA
76
.
7
.
P76
2015
E-Book
,
70. Python for data science /
پدیدآورنده : by Luca Massaron and John Paul Mueller
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Data mining,Data structures (Computer science),Programming languages (Electronic computers),Python (Computer program language)
رده :
QA76
.
73
.
P98
71. RIMS Symposia on Software Science and Engineering II :
پدیدآورنده : edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6
E358
1986
72. Regular expression pocket reference /
پدیدآورنده : Tony Stubblebine
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programming languages (Electronic computers)-- Syntax,Text processing (Computer science)
رده :
QA76
.
9
.
T48
S78
2007
73. Regular expression pocket reference
پدیدآورنده : \ Tony Stubblebine.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Text processing (Computer science),متن‌پردازی,a03,a03,Programming languages (Electronic computers)-- Syntax.,زبانهای برنامه‌نویسی کامپیوتر-- نحو
رده :
QA
76
.
9
.
S7R4
2007
E-Book
,
74. Regular expression pocket reference
پدیدآورنده : Stubblebine, Tony.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Text processing )Computer science(,Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
T48
S78
75. Regular expressions cookbook
پدیدآورنده : \ Jan Goyvaerts and Steven Levithan.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Text processing (Computer science),متن‌پردازی,a05,a05,Programming languages (Electronic computers), Handbooks, manuals, etc.,Computer programming.,زبان های برنامه نویسی کامپیوتر -- دستنامه ها ,برنامه‌نویسی
رده :
QA
76
.
7
.
G6R4
2012
E-Book
,
76. Regular expressions cookbook
پدیدآورنده : Jan Goyvaerts, Steven Levithan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming,Programming languages (Electronic computers), Handbooks, manuals, etc,Text processing (Computer science)
رده :
QA76
.
7
.
G69
2012
77. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
78. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
پدیدآورنده : sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
.
I56
76
.
642
1990
79. Semantics of type theory : correctness, Completeness and independence results
پدیدآورنده : Streicher, Thomas, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
80. Semantics of type theory : correctness, completeness, and independence results
پدیدآورنده : Thomas Streicher,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
